Function model - PDFSEARCH.IO - Document Search Engine

Function model
Results: 1865

#	Item
801	Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1, and Eran Yahav2 1 ETH Zurich {andrei.dan,martin.vechev}@inf.ethz.ch 2 Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2013-05-09 12:11:08 Predicate logic Functions and mappings Model theory Propositional calculus Formal languages Predicate Function Primitive recursive function Interpretation Mathematical logic Logic Mathematics
802	Lecture 4: Non-linear-sigma-model: Part II Christopher Mudry∗ Paul Scherrer Institut, CH-5232 Villigen PSI, Switzerland. (Dated: March 12, [removed]Abstract Add to Reading List Source URL: www.psi.ch Language: English - Date: 2014-03-14 04:41:38 Prime-counting function Valuation Mathematical analysis Logarithms Mathematics Abstract algebra Analytic number theory
803	Measurement with some theory: using sign restrictions to evaluate business cycle models ∗ Fabio Canova†and Matthias Paustian‡ November 23, 2007 Preliminary draft Add to Reading List Source URL: www.rba.gov.au Language: English - Date: 2011-12-28 18:25:41 Statistical theory Statistical inference Vector autoregression Economic model Loss function Estimator Mathematical model Statistics Estimation theory Econometrics
804	Zor_BPMN_extensions_final_CR_ENDVERSION Add to Reading List Source URL: www.iaas.uni-stuttgart.de Language: English - Date: 2011-07-14 15:19:41 Business Business Process Model and Notation Business Process Execution Language Business process modeling Swim lane Object Management Group Business process Modeling language Function model Process management Management Systems engineering
805	Stat 511 HW#11 Spring[removed]An R function that will create bootstrap samples (taken from page 399 of Efron and Tibshirani) is > bootstrap<-function(x,nboot,theta) + {data Add to Reading List Source URL: www.public.iastate.edu Language: English - Date: 2003-05-02 15:45:42 Statistical inference Computational statistics Poisson processes Bootstrapping Weibull distribution Generalized linear model Median Log-normal distribution Exponential distribution Statistics Regression analysis Actuarial science
806	This article was downloaded by: [University of Washington Libraries] On: 25 April 2013, At: 10:38 Publisher: Taylor & Francis Informa Ltd Registered in England and Wales Registered Number: [removed]Registered office: Mort Add to Reading List Source URL: www.stat.washington.edu Language: English - Date: 2013-04-25 15:05:36 Bayesian statistics Econometrics Exponential random graph models Network theory Likelihood function Latent class model Linear regression Statistics Estimation theory Regression analysis
807	Main points of the talk The ultimate goal & our approach’s intuition Market Model, Definitions and Notations Main Problems: Statement Horizon-unbiased vs Forward utility Explicit description of Exponential Forward util Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2010-06-25 08:30:10 Exponential function Event horizon Entropy Horizon Physics Mathematical analysis Exponentials Mathematics
808	THE DENSITY OF ALGEBRAIC POINTS ON CERTAIN PFAFFIAN SURFACES G. O. JONES AND M. E. M. THOMAS Abstract. We prove some instances of Wilkie’s conjecture on the density of rational points on sets definable in the real expo Add to Reading List Source URL: eprints.ma.man.ac.uk Language: English - Date: 2011-07-03 13:28:35 Pfaffian function Pfaffian Constructible universe Model theory Integrability conditions for differential systems Theorems and definitions in linear algebra Algebra Linear algebra Mathematics
809	Hindawi Publishing Corporation Advances in Mechanical Engineering Volume 2013, Article ID[removed], 12 pages http://dx.doi.org[removed][removed]Research Article Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2014-05-08 04:24:35 Systems engineering Matrix L-function Modularity Function composition Abstraction Science Function model Software development Systems analysis
810	Monitoring of Temporal First-order Properties with Aggregations David Basin, Felix Klaedtke, Srdjan Marinovic, and Eugen Z˘alinescu Institute of Information Security, ETH Zurich, Switzerland Abstract. Compliance polici Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2014-02-25 06:27:38 Mathematics Operator theory Μ operator Interpretation Symbol First-order logic Function Operator Linear temporal logic Mathematical logic Logic Model theory

UPDATE